Engineering / Energy Efficiency Buildings / Facility Location / Natural Gas / Energy Saving / Greenhouse Gas Emissions / Hvac System / Energy Production / Electric Power / Boolean Satisfiability / Experimental Analysis / Greenhouse Gas Emissions / Hvac System / Energy Production / Electric Power / Boolean Satisfiability / Experimental Analysis